|
|
Architektura virtuálna
Halinár, Matej ; ArtD, Vít Halada, (oponent) ; Kristek,, Jan (vedoucí práce)
Klauzúra 2.0 Útek z väzenia architektúry Je špecifické zariadenie pre futoroptimistických ľudí, ktorí vychádzajú z filozofie posthumanizmu a transhumanizmu, akejsi verzie ich vlastnej viery v nekonečný život na sieti. Je to viera v možnosti technologickej transformácie ľudstva, ktorá umožní prekonať naše fyzické aj biologické limity. Klauzúra 2.0 je architektúrou pre pionierov – predvoj tejto transformácie – umožňujúci čo možno najdlhší a najúplnejší pobyt vo virtuálnej realite. Touto avantgardou sú mnísi 2.0. Eskapistické osobnosti samotárov digitálneho veku tu hľadajú útočisko a ich vlastnú verziu sveta v kyberpriestore. Vytvárajú si tu víziu raja, a kolonizujú (kyber)priestor bez politických dôsledkov konečnosti fyzického sveta a vyčerpateľnosti prírodných zdrojov. Žijú na hranici bytia, a túžia odhmotniť sa a splynúť so svetom, ktorému rozumejú viac. Bojujú so svojím vlastným mozgom a telom, ktoré sa odtrhnúť od sveta nedajú. Nekonečnosť virtuálneho priestoru má hranice, ktorými sú telo a zmysly. Dlhodobý pobyt v kyberpriestore sa prejavuje stratou zmyslu pre čas a priestor. Tento monastický život v klazúre 2.0 ich dokáže udržovať v kondícii, dodržovaním rituálu, fyzického výkonu chôdze, ktorý musia podstúpiť aby každý deň mohli existovať vo svojej verzii digitálneho kláštora. Týchto verzií je nekonečné množstvo a je možné medzi nimi rituálne prechádzať. Geometria klauzúry ich zároveň izoluje od seba navzájom. Klauzúra je kláštorný koncept, ktorý umožňuje ľudom hermeticky žiť, mimobežne s fyzickým svetom. Bránou do virtuálneho priestoru je „nulová architektúra“ - miestnosť, cela, kocka na pôdoryse 4x4 metre zbavená akejkoľvek vizuálnej architektonickej stránky. Poskytuje iba rovnú podlahu, ako bod odrazu pre nekonečný virtuálny svet a štyri steny a strop s odpovedajúcou hrúbkou pre dostatočné oddelenie od sveta vonkajšieho. Za touto „nulovou architektúrou“ sa otvára svet nekonečné slobody. Zdá sa, že nie skrz „architektonickú inováciu a politickú subverziu“ bude uskutočnený sen moderného architekta o architektúre ako stroji pre oslobodenie človeka, ale skrze opustenie fyzickej architektúry ako takej. Za proscéniom „nulovej architektúry“ sa otvára priestor, kde nová architektúra už nebude o „luxuse a dobrom bydle, nebude to architektúra separácie a uväznenia ale bude to konečne architektúra slobody.
|
|
|
Resolution Method Visualisation
Kasem, Jakub ; Zbořil, František (oponent) ; Rozman, Jaroslav (vedoucí práce)
This bachelor thesis is focused on the topic of automated reasoning using the resolution method. The theoretical part of the thesis focuses on predicate logic, its operations and laws, the resolution method and its processes, state space search by uninformed algorithms, and tools for automated reasoning programming. The thesis further describes the implementation of a educational application visualizing the resolution method. The application automatically proves the truth value of a given statement by finding a contradiction between the negation of the statement and the set of premises and reveals the solution procedure. In the conclusion of the thesis, the implementation of the solution and the content of the work are evaluated and possible improvements are suggested.
|
|
|
Projekce presupozic v češtině
Veselý, Vojtěch ; Macurová, Alena (vedoucí práce) ; Hajičová, Eva (oponent) ; Bílková, Jana (oponent)
Projekce presupozic v češtině Presupozici chápu současně jako implikaci a soubor požadavků, které věta klade na (pasivní) kontext, tj. na soubor realizovaných propozic a logicko-sémantických vztahů mezi nimi sdílený účastníky komunikace. Obsahem presupozice je informace, kterou mluvčí ztvárňuje jako předem danou, komunikantům známou. Presupozice je významově užší pojem než implikace: implikovaný je každý význam vyjádřený nepřímo, avšak ne každá implikace má povahu presupozice. Kontextově zapojené složky vyjadřují propozici, která je zahrnuta v aktivním kontextu, tj. v množině propozic, na něž jsou účastníci komunikace aktivně zaměřeni. Kontextová zapojenost je jedním ze spouštěčů presupozic: informace zahrnutá v aktivním kontextu je nutnou součástí kontextu pasivního (obráceně to pochopitelně neplatí). Aby primární (přímo vyjádřená) propozice věty mohla inkrementovat kontext sdílený účastníky komunikace, musejí být splněny všechny větné presupozice, které jsou v primární propozici sémanticky zahrnuty. Presupozice je splněna jedině tehdy, je-li propozice p, která je obsahem presupozice, součástí (pasivního) kontextu. Pokud kontext nezahrnuje p ani propozici, která je s p v rozporu, např. ňp (negaci p), lze jej akomodovat, tj. propozici p k němu přičlenit. Zahrnuje-li kontext propozici, která je s p...
|
|
|
Projekce presupozic v češtině
Veselý, Vojtěch ; Macurová, Alena (vedoucí práce) ; Hajičová, Eva (oponent) ; Bílková, Jana (oponent)
Projekce presupozic v češtině Presupozici chápu současně jako implikaci a soubor požadavků, které věta klade na (pasivní) kontext, tj. na soubor realizovaných propozic a logicko-sémantických vztahů mezi nimi sdílený účastníky komunikace. Obsahem presupozice je informace, kterou mluvčí ztvárňuje jako předem danou, komunikantům známou. Presupozice je významově užší pojem než implikace: implikovaný je každý význam vyjádřený nepřímo, avšak ne každá implikace má povahu presupozice. Kontextově zapojené složky vyjadřují propozici, která je zahrnuta v aktivním kontextu, tj. v množině propozic, na něž jsou účastníci komunikace aktivně zaměřeni. Kontextová zapojenost je jedním ze spouštěčů presupozic: informace zahrnutá v aktivním kontextu je nutnou součástí kontextu pasivního (obráceně to pochopitelně neplatí). Aby primární (přímo vyjádřená) propozice věty mohla inkrementovat kontext sdílený účastníky komunikace, musejí být splněny všechny větné presupozice, které jsou v primární propozici sémanticky zahrnuty. Presupozice je splněna jedině tehdy, je-li propozice p, která je obsahem presupozice, součástí (pasivního) kontextu. Pokud kontext nezahrnuje p ani propozici, která je s p v rozporu, např. ňp (negaci p), lze jej akomodovat, tj. propozici p k němu přičlenit. Zahrnuje-li kontext propozici, která je s p...
|
|
|
Spojování segmentů v českých souvětích
Čech, Josef ; Kuboň, Vladislav (vedoucí práce) ; Krůza, Oldřich (oponent)
Název diplomové práce: Spojování segmentů v českých souvětích Autor: Bc. Josef Čech Katedra (ústav): ÚFAL - Ústav formální a aplikované lingvistiky Vedoucí diplomové práce: doc. RNDr. Vladislav Kuboň Ph.D. e-mail: vk@ufal.mff.cuni.cz Abstrakt: Práce se zabývá studiem lingvisticky motivovaných částí vět - segmenty - a jejich vzájemnými vztahy. Vztahy mezi segmenty popisují jejich slučování do větších větných celků - klauzí. Detekovat segmenty je možné pomocí definice lingvistických oddělovačů založené na pravidlovém přístupu. Tento přístup se osvědčil i při určování vztahů mezi sousedními segmenty. Práce má za úkol zjistit, zda je možné pomocí pravidlového přístupu získat ze segmentů i klauze. Zároveň při práci vznikl návrh pozičního tagování segmentů. Tag segmentu popisuje jednotlivé vlastnosti segmentu jako celek. V metodách analýzy vztahů segmentů je plně zaměnitelný za celý segment. Klíčová slova: segment, klauze, tag, spojování segmentů, syntaktická analýza
|
|
|
Volební zákonodárství České republiky v nálezech Ústavního soudu
Felix, Adam ; Gronský, Ján (vedoucí práce) ; Hřebejk, Jiří (oponent)
Cílem práce bylo analyzovat zásahy Ústavního soudu do volební legislativy platné v České republice. K pochopení materie obsahuje práce několik kapitol o historickém vývoji právní úpravy voleb v České republice a komparace východisek v současnosti platné legislativy. Ve zbytku práce jsou pak rozebrány nálezy ústavního soudu zveřejněné ve Sbírce zákonů pod čísly 243/1999 Sb. a 64/2001 Sb. V závěru práce jsou nastíněny možnosti dalšího vývoje volebního zákonodárství v ČR.
|
|
|
Spojování segmentů v českých souvětích
Čech, Josef ; Kuboň, Vladislav (vedoucí práce) ; Krůza, Oldřich (oponent)
Název diplomové práce: Spojování segmentů v českých souvětích Author: Bc. Josef Čech Katedra (ústav): ÚFAL - Ústav formalní a aplikované lingvistiky Vedoucí diplomové práce: doc. RNDr. Vladislav Kuboň Ph.D. e-mail: vk@ufal.mff.cuni.cz Abstrakt: Práce se zabývá studiem lingvisticky motivovaných částí vět - segmenty - a jejich vzájemnými vztahy. Vztahy mezi segmenty popisuji jejich slučování do větších větných celků - klauzí. Detekovat segmenty je možné pomocí definice lingvistických oddělovačů založené na pravidlovém přístupu. Tento přístup se osvědčil i při určování vztahů mezi sousedními segmenty. Práce má za úkol zjistit zda je možné pomocí pravidlového přístupu získat ze segmentů i klauze. Zároveň při práci vznikl návrh pozičního tagování segmentů. Tag segmentu popisuje jednotlivé vlastnosti segmentu jako celek. V metodách analýzy vztahů segmentů je plně zaměnitelný za celý segment. Klíčová slova: segment, klauze, tag, spojování segmentů, syntaktická analýza
|
|
|
Architektura virtuálna
Halinár, Matej ; ArtD, Vít Halada, (oponent) ; Kristek,, Jan (vedoucí práce)
Klauzúra 2.0 Útek z väzenia architektúry Je špecifické zariadenie pre futoroptimistických ľudí, ktorí vychádzajú z filozofie posthumanizmu a transhumanizmu, akejsi verzie ich vlastnej viery v nekonečný život na sieti. Je to viera v možnosti technologickej transformácie ľudstva, ktorá umožní prekonať naše fyzické aj biologické limity. Klauzúra 2.0 je architektúrou pre pionierov – predvoj tejto transformácie – umožňujúci čo možno najdlhší a najúplnejší pobyt vo virtuálnej realite. Touto avantgardou sú mnísi 2.0. Eskapistické osobnosti samotárov digitálneho veku tu hľadajú útočisko a ich vlastnú verziu sveta v kyberpriestore. Vytvárajú si tu víziu raja, a kolonizujú (kyber)priestor bez politických dôsledkov konečnosti fyzického sveta a vyčerpateľnosti prírodných zdrojov. Žijú na hranici bytia, a túžia odhmotniť sa a splynúť so svetom, ktorému rozumejú viac. Bojujú so svojím vlastným mozgom a telom, ktoré sa odtrhnúť od sveta nedajú. Nekonečnosť virtuálneho priestoru má hranice, ktorými sú telo a zmysly. Dlhodobý pobyt v kyberpriestore sa prejavuje stratou zmyslu pre čas a priestor. Tento monastický život v klazúre 2.0 ich dokáže udržovať v kondícii, dodržovaním rituálu, fyzického výkonu chôdze, ktorý musia podstúpiť aby každý deň mohli existovať vo svojej verzii digitálneho kláštora. Týchto verzií je nekonečné množstvo a je možné medzi nimi rituálne prechádzať. Geometria klauzúry ich zároveň izoluje od seba navzájom. Klauzúra je kláštorný koncept, ktorý umožňuje ľudom hermeticky žiť, mimobežne s fyzickým svetom. Bránou do virtuálneho priestoru je „nulová architektúra“ - miestnosť, cela, kocka na pôdoryse 4x4 metre zbavená akejkoľvek vizuálnej architektonickej stránky. Poskytuje iba rovnú podlahu, ako bod odrazu pre nekonečný virtuálny svet a štyri steny a strop s odpovedajúcou hrúbkou pre dostatočné oddelenie od sveta vonkajšieho. Za touto „nulovou architektúrou“ sa otvára svet nekonečné slobody. Zdá sa, že nie skrz „architektonickú inováciu a politickú subverziu“ bude uskutočnený sen moderného architekta o architektúre ako stroji pre oslobodenie človeka, ale skrze opustenie fyzickej architektúry ako takej. Za proscéniom „nulovej architektúry“ sa otvára priestor, kde nová architektúra už nebude o „luxuse a dobrom bydle, nebude to architektúra separácie a uväznenia ale bude to konečne architektúra slobody.
|
host ::
RSS.